@inproceedings{SAS:RSJ:2003,
    author    = {Thomas W. Reps and Stefan Schwoon and Somesh Jha},
    title     = {Weighted Pushdown Systems and Their Application to
                Interprocedural Dataflow Analysis.},
    booktitle = {SAS},
    year      = {2003}
}

@article{SCP:RSJM:2005,
  Author  = "T. Reps and S. Schwoon and S. Jha and D. Melski",
  Title   = "Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis",
  Journal = scp,
  ignore-Volume  = 58,
  ignore-Number  = "1--2",
  ignore-Month   = oct,
  ignore-Pages   = "206--263",
  Year    = {2005}}


@article{FSTTCS:RLK:2007,
    Author  = {Thomas Reps and Akash Lal and Nicholas Kidd},
    Title = {Program Analysis Using Weighted Pushdown Systems},
    Journal = {FSTTCS},
    Year = {2007},
    note = {Invited Paper}
}

@phdthesis{Sch02b,
    author = {Stefan Schwoon},
    school = {Technische Universit{\"a}t M{\"u}nchen},
    title = {Model-Checking Pushdown Systems},
    year = {2002},
}

@book{cppPL,
    author = {Bjarne Stroustrup},
    title = {The  C++ Programming Language},
    year = {2000},
    isbn = {0201700735},
    publisher = {Addison-Wesley Longman Publishing Co., Inc.},
}
